4

Walker's Cancellation Theorem

Year:
2014
Language:
english
File:
PDF, 122 KB
english, 2014
6

Zero sets of univariate polynomials

Year:
2010
Language:
english
File:
PDF, 393 KB
english, 2010
7

SEPARATING FRAGMENTS OF WLEM, LPO, AND MP

Year:
2016
Language:
english
File:
PDF, 476 KB
english, 2016
8

On the regular extension axiom and its variants

Year:
2003
Language:
english
File:
PDF, 138 KB
english, 2003
9

On the Cauchy completeness of the constructive Cauchy reals

Year:
2007
Language:
english
File:
PDF, 200 KB
english, 2007
10

Lattices of c-degrees

Year:
1987
Language:
english
File:
PDF, 297 KB
english, 1987
11

Another extension of Van de Wiele's theorem

Year:
1988
Language:
english
File:
PDF, 680 KB
english, 1988
12

Admissibility spectra and minimality

Year:
1988
Language:
english
File:
PDF, 2.37 MB
english, 1988
13

Independence results around constructive ZF

Year:
2005
Language:
english
File:
PDF, 173 KB
english, 2005
14

On the Cauchy Completeness of the Constructive Cauchy Reals

Year:
2007
Language:
english
File:
PDF, 441 KB
english, 2007
15

CZF and Second Order Arithmetic

Year:
2006
Language:
english
File:
PDF, 164 KB
english, 2006
19

On the constructive Dedekind reals

Year:
2008
Language:
english
File:
PDF, 252 KB
english, 2008
20

Playing with admissibility spectra

Year:
1988
Language:
english
File:
PDF, 624 KB
english, 1988
21

Admissibility spectra throughω1

Year:
1987
Language:
english
File:
PDF, 495 KB
english, 1987
22

Topological forcing semantics with settling

Year:
2012
Language:
english
File:
PDF, 245 KB
english, 2012
24

Operating room information systems

Year:
1999
Language:
english
File:
PDF, 1.08 MB
english, 1999
26

The Kripke schema in metric topology

Year:
2012
Language:
english
File:
PDF, 72 KB
english, 2012
30

IKP and Friends

Year:
2002
Language:
english
File:
PDF, 3.09 MB
english, 2002
32

Scoring the Script Concordance Test: not a black and white issue

Year:
2013
Language:
english
File:
PDF, 54 KB
english, 2013
34

The Continuumby Rudolf Taschner

Year:
2008
Language:
english
File:
PDF, 516 KB
english, 2008
35

On the failure of BD-ℕ and BD, and an application to the anti-specker property

Year:
2013
Language:
english
File:
PDF, 1.35 MB
english, 2013
36

Sacks forcing sometimes needs help to produce a minimal upper bound

Year:
1989
Language:
english
File:
PDF, 670 KB
english, 1989
37

Correction to “Simple r. e. degree structures”

Year:
1988
Language:
english
File:
PDF, 228 KB
english, 1988
38

SEPARATING THE FAN THEOREM AND ITS WEAKENINGS

Year:
2014
Language:
english
File:
PDF, 403 KB
english, 2014
39

IKP and friends

Year:
2002
Language:
english
File:
PDF, 1.82 MB
english, 2002
40

Definability and initial segments of c-degrees

Year:
1988
Language:
english
File:
PDF, 954 KB
english, 1988
41

μ-definable sets of integers

Year:
1993
Language:
english
File:
PDF, 1.53 MB
english, 1993
42

Uncountable master codes and the jump hierarchy

Year:
1987
Language:
english
File:
PDF, 541 KB
english, 1987
44

An introduction to γ-recursion theory (or what to do in KP – Foundation)

Year:
1990
Language:
english
File:
PDF, 1004 KB
english, 1990
46

On extensions of supercompactness

Year:
2015
Language:
english
File:
PDF, 158 KB
english, 2015
47

Reviews

Year:
1995
Language:
english
File:
PDF, 126 KB
english, 1995
48

Definability and Initial Segments of c-Degrees

Year:
1988
Language:
english
File:
PDF, 322 KB
english, 1988
50

There's No Forcing a Least Upper Bound

Year:
1989
Language:
english
File:
PDF, 177 KB
english, 1989